منابع مشابه
Encapsulating Mobile Objects
This paper describes a technique to e ectively isolate mobile objects or processes that execute downloaded, potentially suspicious programs. It relies on wish lists, trust lists and capability lists. Wish lists are carried along with programs or mobile objects and denote the resources requested by the program to do what it claims to do. Wish lists are transformed into capability lists when down...
متن کاملEncapsulating distribution by remote objects
Middleware for modern office environments and many other application areas needs to provide support for a myriad of different, highly-mobile objects. At the same time, it should be able to scale to vast numbers of objects that may possibly be dispersed over a large wide-area network. The combination of flexibility and scalability requires support for object-specific solutions that is hardly add...
متن کاملConfined types in Java
The sharing and transfer of references in object-oriented languages is difficult to control. Without any constraint, practical experience has shown that even carefully engineered object-oriented code can be brittle, and subtle security deficiencies can go unnoticed. In this paper, we present inexpensive syntactic constraints that strengthen encapsulation by imposing static restrictions on the s...
متن کاملType Inference for Objects with Base Types
We present a type inference algorithm for the underlying language and type system of a logic (AL [2]) of Abadi and Leino. We approach the problem by following the techniques used by Palsberg and his coauthors [7, 9] whereby, using a language-based representation of types, we construct an automaton to recognise a least-shape type derivation. To overcome technical problems caused in part by the w...
متن کاملTypes for Flexible Objects
Scripting languages are popular in part due to their extremely flexible objects. Features such as dynamic extension, mixins, and first-class messages improve programmability and lead to concise code. But attempts to statically type these features have met with limited
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2007
ISSN: 0164-0925,1558-4593
DOI: 10.1145/1286821.1286823